Synthesizing Plant Controllers Using Real-time Goals
نویسندگان
چکیده
This paper introduces a novel planning method for reactive agents. Our planning method han dles, in a single framework, issues from A I , control theory, and concurrency that have so far been considered apart. These issues are mostly control labi l i ty, safety, bounded liveness, and real t ime. Our approach is founded on the supervisory control theory and on Metric Temporal Logic ( M T L ) . The highlights of our method consist of a new technique for incre mentally checking M T L goal formulas over se quences of states generated by actions and a new method for backtracking during search by taking into account uncontrollable actions.
منابع مشابه
Automatic Synthesis of Both the Control Law and Parameters for a Controller for a Three-Lag Plant with Five-Second Delay using Genetic Programming and Simulation Techniques
This paper describes how the process of synthesizing the design of both the topology (control law) and the numerical parameter values (tuning) for a controller can be automated using genetic programming. Genetic programming can be used to automatically make the decisions concerning the total number of signal processing blocks to be employed in a controller, the type of each block, the topologic...
متن کاملModel-based Verification for Automatic Synthesis of Real-time Controllers Extended Abstract
We have developed a novel technique for automatically synthesizing hard real-time reactive controllers using model-checking verification. Our algorithm builds a controller incrementally, using a timed automaton model to check each partial controller for correctness. The verification model captures both the controller design and the semantics of its execution environment. If the controller is fo...
متن کاملSynthesizing Controllers from Real-Time Specifications - Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
We present an algorithm for synthesizing real-time controllers specified in a subset of the interval temporal logic duration calculus. The synthesized controllers are given in terms of programmable logic controller (PLC)-automata, which are an abstract description of programs of polling machines. PLCautomata can be implemented directly on PLC’s, a special kind of polling real-time controllers t...
متن کاملConstrained Controller Design for Real-time Delay Recovery in Metro Systems
This study is concerned with the real-time delay recovery problem in metro loop lines. Metro is the backbone of public transportation system in large cities. A discrete event model for traffic system of metro loop lines is derived and presented. Two effective automatic controllers, linear quadratic regulator (LQR) and model predictive controller (MPC), are used to recover train delays. A newly-...
متن کاملOn Synthesizing Controllers from Bounded-Response Properties
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under bounded-variability assumptions, deterministic timed automata to which we apply safety synthesis algorithms to derive a controller that satisfies the properties by construction. Some preliminary experimental results are re...
متن کامل